Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
251	Connecting Place: Making Geospatial more Intelligent and Accessible for decision makers Andrew Coote Chief Executive 3rd February 2013 Add to Reading List Source URL: ggim.un.org Language: English - Date: 2013-02-14 09:53:05 Emerging technologies Formal sciences Cartography Big data Database theory Transaction processing Petabyte Geographic information system Geospatial analysis Technology Computing Data management
252	1 The Phenomenology of Mathematical Beauty Gian-Carlo Rota Whereas painters and musicians are likely to be embarrassed by references Add to Reading List Source URL: www.liceogiuliocesare.it Language: English - Date: 2014-01-27 11:21:12 Philosophy of mathematics Formal systems Elementary mathematics Mathematical beauty Mathematical proof Theorem Mathematician Axiomatic system Axiom Mathematics Logic Mathematical logic
253	ARTIFICIAL INTELLIGENCE: ENGINEERING, SCIENCE, OR SLOGAN? Nils J. Nilsson Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-05-14 18:27:16 Ethology Philosophy of artificial intelligence Formal sciences Interdisciplinary fields Computational neuroscience Expert system Knowledge representation and reasoning Applications of artificial intelligence John McCarthy Science Knowledge Artificial intelligence
254	A Case Study for Semantic Translation of the Water Framework Directive and a Topographic Database 1 Angela Schwering1,2, Glen Hart1 + Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2005-02-27 17:00:00 Data Information science Data management Technical communication Knowledge representation Formal ontology Semantic translation Geographic information system Semantic interoperability Ontology Information Science
255	Multilingual Thesaurus: The Ontoterminology Approach. Authors: Christophe Roche, Luc Damas Equipe Condillac – Listic Add to Reading List Source URL: www.cidoc2014.de Language: English - Date: 2014-09-21 13:16:02 Information science Ontology Semantic Web Technical communication Thesaurus Simple Knowledge Organization System Formal ontology Semantic interoperability Conceptual system Knowledge representation Information Science
256	Formal Development of a Cardiac Pacemaker using a Refinement Approach Neeraj Kumar Singh University of York May 08, 2012 Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2012-05-09 06:37:10 Biology Circulatory system Cardiology Implants Neuroprosthetics Artificial cardiac pacemaker Pacemaker Cardiac pacemaker Bradycardia Cardiac electrophysiology Cardiac dysrhythmia Medicine
257	Microsoft Word - KlienProbst_RequirementsForGeospatialOntologyEngineering.r… Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2008-09-22 04:53:25 Information science Semantic Web Technical communication Data Knowledge representation Formal ontology Semantic interoperability Geographic information system Web Ontology Language Ontology Information Science
258	October – NovemberVol. 1, Issue 4 News and Notes for formal and informal educators Add to Reading List Source URL: www.dispatchnie.com Language: English - Date: 2011-04-06 08:57:30 Human spaceflight International Space Station Manned spacecraft Global Positioning System Spaceflight Technology Space technology
259	Navigation information for pedestrians from city maps Barbara Corona, Stephan Winter Institute for Geoinformation, Technical University Vienna Gusshausstr, A-1040 Vienna, Austria Phone +, Fax +43-1 Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2005-02-02 17:00:00 Information Knowledge Information science Technical communication Semantic Web Formal ontology Geographic information system Wayfinding Data model Ontology Science Knowledge representation
260	Brussels Development Policy Briefing no.40 Data: the next revolution for agriculture in ACP countries Organised by CTA, the ACP Secretariat, the European Commission, Concord th 18 February 2015, 14h00-18h00 (preceded by Add to Reading List Source URL: brusselsbriefings.files.wordpress.com Language: English - Date: 2015-02-18 03:59:27 Database management systems Database theory Science Data analysis Business intelligence Data mining Big data Geographic information system African Caribbean and Pacific Group of States Data management Technology Formal sciences

UPDATE